1. Catalogue of Artificial Intelligence Tools
Author: edited by Alan Bundy, Lincoln Wallen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q336
.
E358
1984
2. Foundations of Logic Programming
Author: by John Wylie Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
6
B956
1984
3. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
4. Principles of logic and logic programming /
Author: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
Classification :
QA76
.
63
.
M473
1996eb
5. Techniques of Prolog programming : with implementation of logical negation and quantified goals
Author: Van Le, T.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Prolog )Computer program language( , Negation )Logic(
Classification :
QA
76
.
73
.
P76
V36
1993
6. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
